Calculation of Top Event Probability of Fault Tree using BDD
نویسندگان
چکیده
منابع مشابه
Fast Bdd Truncation Method for Efficient Top Event Probability Calculation
A Binary Decision Diagram (BDD) [1-3] provides an efficient representation and manipulation of Boolean formulae, and it was shown that a BDD is effective in the diverse fields of computer science and reliability [4]. Bryant [3] popularized the use of a BDD by developing a set of algorithms for an efficient construction and manipulation of BDDs. The BDD algorithm was applied to a reliability ana...
متن کاملanalysis of ruin probability for insurance companies using markov chain
در این پایان نامه نشان داده ایم که چگونه می توان مدل ریسک بیمه ای اسپیرر اندرسون را به کمک زنجیره های مارکوف تعریف کرد. سپس به کمک روش های آنالیز ماتریسی احتمال برشکستگی ، میزان مازاد در هنگام برشکستگی و میزان کسری بودجه در زمان وقوع برشکستگی را محاسبه کرده ایم. هدف ما در این پایان نامه بسیار محاسباتی و کاربردی تر از روش های است که در گذشته برای محاسبه این احتمال ارائه شده است. در ابتدا ما نشا...
15 صفحه اولAnalytical Solutions of Large Fault Tree Models using BDD: New Techniques and Applications
Most tools available for quantifying large linked Fault Tree models as used in Probabilistic Safety Assessment (PSA) are unable to produce analytically exact results. The algorithms of such quantifiers are designed to neglect sequences when their likelihood decreases below a predefined truncation limit. In addition, the rare event approximation is typically implemented to the first order, ignor...
متن کاملCalculating the Failure Intensity of a Non-coherent Fault Tree Using the BDD Technique
This paper considers a technique for calculating the unconditional failure intensity of any given non-coherent fault tree. Conventional Fault Tree Analysis (FTA) techniques involve the evaluation of lengthy series expansions and approximations are unavoidable even for moderate sized fault trees. The Binary Decision Diagram (BDD) technique overcomes some of the shortfalls of conventional FTA tec...
متن کاملassessment of the efficiency of s.p.g.c refineries using network dea
data envelopment analysis (dea) is a powerful tool for measuring relative efficiency of organizational units referred to as decision making units (dmus). in most cases dmus have network structures with internal linking activities. traditional dea models, however, consider dmus as black boxes with no regard to their linking activities and therefore do not provide decision makers with the reasons...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Korea Institute of Information and Communication Engineering
سال: 2016
ISSN: 2234-4772
DOI: 10.6109/jkiice.2016.20.3.654